body {
	background : #fff;
	margin: 10px;
}
.dock {
	margin : 0px;
	background-color : #b7e1ff;
	width : 100%;
	height : 100%;
	border : 1px solid black;
}
.pagetitle {
	text-align : center;
	font-color : #ff0000;
	font-size : 18px;
	background-color : white;
}
.title {
	border-bottom : 1px solid #000;
	text-align : center;
	background-color : red;
	color : white;
}
.bottom {
	text-size : 8px;
	font-style: italic;
	height : 10 px;
	border-top: 1px solid #000;
}
.menu {
	border : 1px solid black;
	margin : 5px;
	padding : 5px;
	background-color : white;
	width: 90%;
}
.menuitem {
	text-decoration: underline;	
}
.menuitem:HOVER {
	text-decoration: none;
	background-color : red;
}
.widget {
	border : 1px solid black;
	margin : 10px;
	background-color : white;
}
.header-column {
	font-weight : bold;
}

.header-column {
	font-weight : bold;
}
.numlisteners {
	margin-left : 50px;
}